теорія доведень

теорія доведень
ТЕОРІЯ ДОВЕДЕНЬ - розділ сучасної логіки, предметом дослідження якого є доведення - як синтаксичного об'єкта і як динамічної процедури, визначених у різноманітних логічних системах.

Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). . 2002.

Игры ⚽ Нужна курсовая?

Смотреть что такое "теорія доведень" в других словарях:

  • аксіоматичні теорії в економіці — розділи економічної науки, побудовані на основі аксіоматичного методу, тобто шляхом формування множини початкових положень, що приймаються без доведень, – аксіом , які пов’язують вихідні поняття теорії і використовуються для дедуктивного… …   Термінологічно-тлумачний словник "Моделювання економіки"

  • аксіома — аксиома axiom Axiom 1) Твердження певної теорії, що приймається без доведення як вихідне, таке, що є підставою для доведення інших тверджень (теорем) цієї теорії. 2) Переносно незаперечна істина, що не потребує доведень …   Гірничий енциклопедичний словник


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»